$(document).ready(function(){
	var page_url = $("base").attr("href")+"index.php/public/ie";
	if(page_url != document.location.href)
		window.location = page_url;
});
